Inhalt des Dokuments
zur Navigation
Inhalt des Dokuments
Forschung
Artikel akzeptiert (EXPRESS 2011)
Montag, 11. Juli 2011
Artikel "Synchrony vs Causality in Asynchronous Petri Nets" akzeptiert für 18th International Workshop on Expressiveness in Concurrency (Co-Autoren Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz)